linear-operator model

См. также в других словарях:

• Linear system — A linear system is a mathematical model of a system based on the use of a linear operator.Linear systems typically exhibit features and properties that are much simpler than the general, nonlinear case.As a mathematical abstraction or… …   Wikipedia

• linear system — noun A mathematical model of a system based on the use of a linear operator …   Wiktionary

• Linear temporal logic — (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true,… …   Wikipedia

• Linear Air — is a private air charter and air taxi service that is headquartered just outside of Boston in Concord, Massachusetts, near their home base, Hanscom Airfield. In 2004, Linear Air began an operation focused on addressing demand between the large… …   Wikipedia

• Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia

• Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… …   Deutsch Wikipedia

• Linear Time Temporal Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… …   Deutsch Wikipedia

• Discontinuous linear map — In mathematics, linear maps form an important class of simple functions which preserve the algebraic structure of linear spaces and are often used as approximations to more general functions (see linear approximation). If the spaces involved are… …   Wikipedia

• Ising model — The Ising model, named after the physicist Ernst Ising, is a mathematical model in statistical mechanics. It has since been used to model diverse phenomena in which bits of information, interacting in pairs, produce collectiveeffects.Definition… …   Wikipedia

• Autoregressive moving average model — In statistics, autoregressive moving average (ARMA) models, sometimes called Box Jenkins models after the iterative Box Jenkins methodology usually used to estimate them, are typically applied to time series data.Given a time series of data X t …   Wikipedia

• Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… …   Wikipedia